#include <stdio.h>
#define maxn 1008
int bucket[maxn];
int ans[maxn];
int ansi;
int N, M;
int main() {
  scanf("%d", &N);
  for(int i=0; i<N; ++i) {
    int num; scanf("%d", &num);
    bucket[num]++;
  }
  for(int i=0; i<maxn; ++i) {
    if(bucket[i]) {
      M++;
      ans[ansi++] = i;
    }
  }
  printf("%d\n", M);
  for(int i=0; i<ansi; ++i) {
    printf("%d ", ans[i]);
  }
  putchar('\n');
}
